Symbolic execution

Results: 153



#Item
21

Redundant State Detection for Dynamic Symbolic Execution Suhabe Bugrara Stanford University Dawson Engler Stanford University

Add to Reading List

Source URL: nsl.cs.columbia.edu

- Date: 2014-12-07 19:02:19
    22

    SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation Implementations Sze Yiu Chau∗ Omar Chowdhury† Endadul Hoque∗ Huangyi Ge∗ Aniket Kate∗ Cristina Nita-Rotaru‡ Ni

    Add to Reading List

    Source URL: www.ieee-security.org

    - Date: 2017-04-03 16:02:16
      23

      Efficient State Merging in Symbolic Execution Volodymyr Kuznetsov Johannes Kinder Stefan Bucur

      Add to Reading List

      Source URL: dslab.epfl.ch

      - Date: 2016-12-02 10:07:53
        24

        Targeted Program Transformations for Symbolic Execution Cristian Cadar Imperial College London

        Add to Reading List

        Source URL: www.doc.ic.ac.uk

        - Date: 2016-12-06 14:12:25
          25

          Multi-solver Support in Symbolic Execution Hristina Palikareva and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {h.palikareva, c.cadar}@imperial.ac.uk

          Add to Reading List

          Source URL: srg.doc.ic.ac.uk

          - Date: 2013-05-01 10:35:53
            26

            Symbolic Execution Joe Hendrix Galois, Inc SMT Summer School 2015 | galois |

            Add to Reading List

            Source URL: www.cs.nyu.edu

            - Date: 2015-07-17 18:21:51
              27

              Symbooglix: A Symbolic Execution Engine for Boogie Programs Daniel Liew Cristian Cadar Alastair F. Donaldson Imperial College London United Kingdom {daniel.liew, c.cadar, alastair.donaldson}@imperial.ac.uk

              Add to Reading List

              Source URL: www.doc.ic.ac.uk

              - Date: 2016-02-07 18:26:53
                28

                make test-zesti: A Symbolic Execution Solution for Improving Regression Testing Paul Dan Marinescu and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {p.marinescu, c.cadar}@imperia

                Add to Reading List

                Source URL: www.doc.ic.ac.uk

                - Date: 2016-03-08 07:04:45
                  29

                  Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency Elvira Albert Complutense University of Madrid

                  Add to Reading List

                  Source URL: www.sti.uniurb.it

                  - Date: 2014-06-19 19:17:27
                    UPDATE